A Robot's Logic is Infallible